Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
851	Emotion-mapped Robotic Facial Expressions based on Philosophical Theories of Vagueness Phil Serchuk1,2 1 Add to Reading List Source URL: www.bartneck.de Language: English - Date: 2008-03-08 09:00:41 Ethology Artificial intelligence Fuzzy logic Logic in computer science Robotics Many-valued logic Human–robot interaction Emotion Vagueness Logic Science Non-classical logic
852	BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Applied mathematics Normalisation by evaluation Combinatory logic Church encoding Type theory Fixed-point combinator Lambda calculus Theoretical computer science Mathematical logic
853	A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Sweden andreas. Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
854	WP (Draft Manual) WP Plug-in (Draft) Manual Frama-C Carbonbeta-2 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
855	Doc No: Date: Author: N4379 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2015-02-09 06:51:02 Logic in computer science Assertion Exception handling Precondition Objective-C C Postcondition Software engineering Computer programming Computing
856	A Fuzzy SMART Based Dynamic Decision Making System: A Voltage Control Case Study Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 18:23:18 Electrical engineering Operations research Systems engineering Artificial intelligence Logic in computer science Fuzzy logic Power flow study Mathematical optimization Control system Electromagnetism Science Systems theory
857	Continuation Hierarchy and Quantifier Scope Oleg Kiselyov and Chung-chieh Shan 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-21 03:17:21 Semantics Predicate logic Quantification Model theory Logic in computer science Combinatory logic Denotational semantics First-order logic Free variables and bound variables Logic Mathematical logic Theoretical computer science
858	Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Add to Reading List Source URL: typessummerschool07.cs.unibo.it Language: English - Date: 2007-08-20 10:27:22 Lambda calculus Type theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Simply typed lambda calculus System F Type system Theoretical computer science Computer science Mathematical logic
859	A S IM PL E A L GO RI T H M FO R I DE N T IFY I N G AB B R EV I A TI O N DE FI N I TI O N S IN B IO M EDI CA L T E X T A R I E L S . S C H W A R TZ M AR TI A . H E A R S T Add to Reading List Source URL: bailando.sims.berkeley.edu Language: English - Date: 2002-09-25 14:53:58 Pattern matching Analysis of algorithms Algorithm Mathematical logic Natural language processing Recall Regular expression Time complexity Theoretical computer science Applied mathematics Computer science
860	SampleSearch: Importance Sampling in presence of Determinism Rina Dechter Donald Bren School of Information and Computer Sciences, Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2010-05-29 22:20:14 Logic in computer science Logic programming Automated reasoning Mathematics Computer science Automated theorem proving Reasoning Applied mathematics

UPDATE